Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
741	“Empty Space” Computes: The Evolution of an Unconventional Supercomputer Jonathan W. Mills1 Matt Parker Bryce Himebaugh Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2011-08-24 10:01:38 Computability theory Analog computer Artificial intelligence Logic in computer science Digital electronics Hypercomputation Computation Fuzzy logic Turing machine Theoretical computer science Applied mathematics Computer science
742	Oracle inequalities for computationally adaptive model selection arXiv:1208.0129v1 [stat.ML] 1 Aug[removed]Alekh Agarwal† Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-01 20:37:08 Algorithm Mathematical logic Computational complexity theory Computability theory Formal methods Models of computation Lambda calculus Theoretical computer science Applied mathematics Mathematics
743	Downloaded[removed]to[removed]Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php SIAM J. COMPtJr. Vol. 18, No. 4, pp[removed], August[removed]C[removed]Society for Indust Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2013-01-12 09:50:58 Turing machine Models of computation Computability theory Computational resources Universal Turing machine Computability Computable function Reversible computing Algorithm Theoretical computer science Applied mathematics Computer science
744	NOTICE: The copyright law of the United States (Title 17 U.S. Code) governs the making of photocopies or printouts of copyright materials. The person using this system is liable for any infringement. Could a.Machine Thin Add to Reading List Source URL: psych.hanover.edu Language: English - Date: 2012-06-28 11:29:44 Philosophy of artificial intelligence Computability theory Alan Turing Philosophy of mind Artificial intelligence Chinese room Artificial brain Strong AI Turing test Cognitive science Science Mind
745	2 Alice: Vittorio: Riccardo: Sergio: Alice: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Applied mathematics Theory of computation Computable function Function Computability Reduction Recursively enumerable set Decision problem Halting problem Theoretical computer science Mathematics Computability theory
746	Church Numerals Amazingly, any function that can be computed at all, such as factorial(5) or sqrt(7) or piglatin(Scratch), can be computed using only and . The study of how to do this is "lambda calculus," a mathematical Add to Reading List Source URL: snap.berkeley.edu Language: English - Date: 2010-05-10 03:05:25 Lambda calculus Computability theory Subroutines Theoretical computer science Functional programming Function Church encoding Calculus Eval Software engineering Computing Mathematics
747	United Way Reader Program Volunteers are needed for one-on-one sessions in the kindergarten through 3rd grade classrooms. Can you give a 1/2 hour twice a week at a school near you for a month, 3 months, until the end of Add to Reading List Source URL: www.unitedwaymatsu.org Language: English - Date: 2013-10-03 20:31:50 Computability theory ELEMENTARY Matanuska-Susitna Borough School District
748	Grades 5 and 6 “Student-Friendly” Mathematics Scoring Rubric Add to Reading List Source URL: www.isbe.state.il.us Language: English - Date: 2005-10-03 13:30:24 Computability theory Halting problem Theory of computation Aha! effect Mathematics Mathematics education Mathematical optimization
749	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: piotrkosoft.net Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
750	Adding a Computation Rule Jared Davis Recorded June, 2006 Outline Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:56 Subroutines Lisp programming language Computability theory Defun Recursion Theoretical computer science ACL2 Main function Function Computer programming Software engineering Computing

UPDATE